8

Structured development of a virtual shared memory system

Year:
1996
Language:
english
File:
PDF, 969 KB
english, 1996
9

Refinement-oriented probability for CSP

Year:
1996
Language:
english
File:
PDF, 1.54 MB
english, 1996
10

Probabilistic communicating processes

Year:
1995
Language:
english
File:
PDF, 1.81 MB
english, 1995
23

Total body content of copper and other essential metals in rats fed fructose or starch

Year:
1988
Language:
english
File:
PDF, 549 KB
english, 1988
30

Numerical evolution of dynamic 3D black holes: Extracting waves

Year:
1998
Language:
english
File:
PDF, 93 KB
english, 1998
34

Probabilistic predicate transformers

Year:
1996
Language:
english
File:
PDF, 295 KB
english, 1996